Higher-order function - PDFSEARCH.IO - Document Search Engine

Higher-order function
Results: 126

#	Item
101	The Needle Programming Language The Needle Programming Language The Needle Programming Language – Neel Krishnaswami – [removed] 1 Add to Reading List Source URL: www.nongnu.org Language: English - Date: 2002-12-06 19:32:06 Functional languages Subroutines Functional programming Higher-order function Lambda calculus J Software engineering Computer programming Computing
102	1 Dirichlet Beta Generating Functions Both of hyperbolic functions and trigonometric functions can be expanded to Fourier series and Taylor series. And if the termwise higher order integration of these is carried out, Di Add to Reading List Source URL: fractional-calculus.com Language: English - Date: 2013-11-11 07:05:47 Exponentials Hyperbolic function Hyperbolic geometry Mathematical analysis Mathematics Special functions
103	1 Zeta Generating Functions Both of hyperbolic functions and trigonometric functions can be expanded to Fourier series and Taylor series. And if the termwise higher order integration of these is carried out, Riemann Zeta Add to Reading List Source URL: fractional-calculus.com Language: English - Date: 2013-11-11 09:40:24 Hyperbolic function Hyperbolic geometry Taylor series Mathematical analysis Mathematics Exponentials
104	05 Termwise Higher Integral (Trigonometric, Hyperbolic) In this chapter, for the function which second or more order integral cannot be expressed with the elementary functions among trigonometric functions and hyperbolic Add to Reading List Source URL: fractional-calculus.com Language: English - Date: 2013-11-10 10:41:22 Number theory Trigonometry Complex analysis Mathematical series Hyperbolic function 2K Trigonometric functions Fourier series Bernoulli number Mathematical analysis Mathematics Analytic functions
105	Higher-Order Processes, Functions, and Sessions: A Monadic Integration Bernardo Toninho1,2 , Luis Caires2 , and Frank Pfenning1 1 2 Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2013-02-20 17:13:21 Type theory Logic in computer science Proof theory Functions and mappings Deduction Curry–Howard correspondence Monad Function Π-calculus Logic Mathematics Mathematical logic
106	10 Termwise Higher Derivative (Trigonometric, Hyperbolic) In this chapter, for the function which the second or more order derivative is difficult to express with an easy unification notation among trigonometric function Add to Reading List Source URL: fractional-calculus.com Language: English - Date: 2013-11-10 20:30:43 Trigonometry Integer sequences Analytic functions Complex analysis Trigonometric functions Hyperbolic function 2K Taylor series Bernoulli number Mathematical analysis Mathematics Number theory
107	Matching concepts across HOL libraries ⋆ arXiv:1405.3906v1 [cs.LO] 15 May 2014 Add to Reading List Source URL: arxiv.org Language: English - Date: 2014-05-15 21:22:55 Logic in computer science Automated theorem proving HOL Isabelle Proof assistant First-order logic Higher-order logic Function L-system Mathematical logic Mathematics Theoretical computer science
108	Prolog: A Logic Programming Language with Names, Binding and -Equivalence James Cheney1 , Christian Urban2 Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2004-10-28 08:33:44 Software engineering Predicate logic Automated theorem proving Unification Higher-order abstract syntax Prolog Free variables and bound variables First-order logic Function Mathematics Mathematical logic Logic programming
109	αProlog User’s Guide & Language Reference Version 0.3 DRAFT Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2004-10-28 08:33:38 Lambda calculus Type theory Logic programming Formal methods Unification Higher-order abstract syntax Function Hindley–Milner Free variables and bound variables Mathematics Software engineering Theoretical computer science
110	A Provably Correct Translation of the λ-Calculus into a Mathematical Model of C++ Rose H. Abdul Rauf∗, Ulrich Berger, Anton Setzer‡† November 9, 2006 Abstract Add to Reading List Source URL: www.cs.swan.ac.uk Language: English - Date: 2007-02-18 18:49:57 Lambda calculus Models of computation Subroutines Logic in computer science Programming language semantics Denotational semantics Simply typed lambda calculus Higher-order function Type system Software engineering Theoretical computer science Mathematics

UPDATE